退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用Bogor可扩展模型检查框架构建自己的软件模型检查器
Matthew B. Dwyer; John Hatcliff; Matthew Hoosier;
机译:使用可扩展的软件模型检查框架检查JML规范
机译:使用自旋模型检查器对可扩展身份验证协议进行建模和验证
机译:迈向自动化软件模型检查使用图形转换系统和博文
机译:使用增强的属性语法构建可扩展的建模语言框架。
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:茂物:用于创建软件模型检查器的灵活框架
机译:具有多个模型检查器的模型检查装置以及使用该模型检查器的模型检查方法
机译:使用为电路的RTL模型设计的软件检查器例程测试电路的硬件仿真模型
机译:在旋转模型检查器中的同一通道上对广播,多播,点对点和握手通信进行建模
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。